program testValueNumberingBadNames;

class testValueNumberingBadNames
BEGIN
   
   VAR aa, bb, cc, xx, yy : integer;

FUNCTION testValueNumberingBadNames;
BEGIN
   aa := xx + yy;
   bb := xx + yy;
   aa := 17;
   cc := xx + yy
END

END
.

